#include "libc.h"
#include "crt.h"
#include <types.h>
#include <kfcntl.h>

int main(int argc ,char *argv[])
{
/* Set up the shell on the console */
  open("/dev/tty", O_RDWR); // 0
  open("/dev/tty", O_RDWR); // 1
  open("/dev/tty", O_RDWR); // 2
	 

  if ( fork() == 0 ){
	execv("/core/boot/shell",NULL);

     close (2);
     close (1);
     close (0);
     
    }
     exit(0);
         
  return 0;
}


